His work has profoundly influenced analytic philosophy; his principal contribution is a semantics for modal logic involving possible worlds, now called Kripke semantics. ترك عمله أثرًا عميقًا في الفلسفة التحليلية، وإسهامه الرئيسي كان دلالات منطق الموجهات، بما في ذلك العالم الممكن كما هو موضح في نظام يسمى الآن دلالات كريبك.
تعريف الإنجليزية
a system of logic whose formal properties resemble certain moral and epistemological concepts